match () with
| A.B -> ()
